Sequential model - PDFSEARCH.IO - Document Search Engine

Sequential model
Results: 155

#	Item
151	PDF Document Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:17:10 Applied mathematics Logic in computer science Formal verification BCS-FACS Model checking Communicating sequential processes Formal specification Abstraction Steve Reeves Formal methods Theoretical computer science Computing
152	PDF Document Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2008-01-14 18:01:35 Computer memory Transaction processing Compiler construction Concurrency Programming language design Consistency model Sequential consistency Memory model Linearizability Computing Software engineering Computer architecture
153	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Process calculi Logic in computer science Concurrent computing Programming language semantics Communicating sequential processes Models of computation Denotational semantics Divergence Model checking Theoretical computer science Computing Computer science
154	PDF Document Add to Reading List Source URL: www.ferg.org Language: English - Date: 2007-09-05 20:56:49 Process Computer programming Operations research Planning Scheduling Communicating sequential processes Elevator Process state Actor model Computing Concurrent computing Concurrency
155	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Language: English Communicating sequential processes Enterprise modelling Behavior Trees Actor model Model checking Process calculus Concurrent computing Process calculi Computing

UPDATE